Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
811	The Relative Pruning Power of Strong Stubborn Sets and Expansion Core Martin Wehrle and Malte Helmert ¨ Yusra Alkhazraji and Robert Mattmuller Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-30 16:52:25 FO Finite model theory Big O notation Operator Assignment Modal logic Linguistics Logic Mathematics Mathematical notation
812	Microsoft Word - ijita12-1.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Predicate logic Semantics Formal languages Functions and mappings Model theory Predicate Function FO Mereology Logic Mathematical logic Mathematics
813	THE DOMESTIC VIOLENCE TREATMENT OPTION: Add to Reading List Source URL: www.yukoncourts.ca Language: English - Date: 2015-05-19 18:49:50 Drug rehabilitation Evaluation methods Evaluation Logic model
814	YOUR NAME: REGISTRATION # (H) Bertrand and Russellpoints] Teachers can be hard to understand sometimes. Case in point, the math teacher, Mr. Whitehead. Just this Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:30:02 Quantification Predicate logic Model theory Function First-order logic Universal quantification Proposition Existential quantification Logicism Logic Mathematical logic Mathematics
815	Access-Control Policies via Belnap logic: expressive composition and simple analysis Michael Huth imperial.ac.uk/quads/ Abschlussveranstaltung des Graduiertenkollegs Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-09-05 11:42:02 Philosophical logic Philosophy of mathematics Huth Surnames Truth Analysis Mathematical logic Model theory Philosophy Logic Science
816	Wíinik: Towards an Agent-Based Simulation Design Tool for Distributed Agency and Cognitive Software Agents ∗ Josué Miguel Flores-Parra Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 19:58:28 Logic NetLogo Fuzzy control system Neuro-fuzzy Agent-based model Fuzzy logic Simulation Software agent Social simulation Artificial intelligence Science Computing
817	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
818	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
819	A Multispeed Model for Lattice Gas Hydrodynamics Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:27 English phonology English orthography Combinatory logic Lambda calculus Logic in computer science
820	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic

UPDATE